$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$).
\\[0ex]es{-}causl(${\it es}$; $e$; ${\it e'}$) $\Rightarrow$ qle(es{-}time(${\it es}$; $e$); es{-}time(${\it es}$; ${\it e'}$))